Feasibility of Automated Foundational Ontology Interchangeability
نویسندگان
چکیده
While a foundational ontology can solve interoperability issues among the domain ontologies aligned to it, multiple foundational ontologies have been developed. Thus, there are still interoperability issues among domain ontologies aligned to different foundational ontologies. Questions arise about the feasibility of linking one’s ontology to multiple foundational ontologies to increase its potential for uptake. To answer this, we have developed the tool SUGOI, Software Used to Gain Ontology Interchangeability, which allows a user to interchange automatically a domain ontology among the DOLCE, BFO and GFO foundational ontologies. The success of swapping based on equivalence varies by source ontology, ranging from 2 to 82% and averaging at 36% for the ontologies included in the evaluation. This is due to differences in coverage, notably DOLCE’s qualities and BFO and GFO’s roles, and amount of mappings. SUGOI therefore also uses subsumption mappings so that every domain ontology can be interchanged, preserves the structure of the ontology, and increases its potential for usability.
منابع مشابه
SUGOI: Automated Ontology Interchangeability
A foundational ontology can solve interoperability issues among the domain ontologies aligned to it. However, several foundational ontologies have been developed, hence such interoperability issues exist among domain ontologies. The novel SUGOI tool, Software Used to Gain Ontology Interchangeability, allows a user to interchange automatically a domain ontology among the DOLCE, BFO and GFO found...
متن کاملModular Construction of Models Towards a Consistency Proof for the Foundational Ontology DOLCE
We discuss the problem of consistency proofs for large and complex first-order theories originating from the realm of ontologies. In particular, we argue that ‘standard’ automated reasoning methods are often insufficient for proving such consistency results. We advocate an approach where a global model of a theory is built from smaller models together with amalgamability properties between such...
متن کاملONSET: Automated Foundational Ontology Selection and Explanation
It has been shown that using a foundational ontology for domain ontology development is beneficial in theory and practice. However, developers have difficulty with choosing the appropriate foundational ontology, and why. In order to solve this problem, a comprehensive set of criteria that influence foundational ontology selection has been compiled and the values for each parameter determined fo...
متن کاملAligning Multiple Anatomical Ontologies through a Reference
Objective: To investigate the feasibility of deriving an indirect alignment between two ontologies from the two direct alignments of these ontologies to a reference ontology. The three anatomical ontologies under investigation are the Adult Mouse Anatomical Dictionary (MA), the NCI Thesaurus (NCI) and the Foundational Model of Anatomy (FMA). Methods: The direct alignment employs a combination o...
متن کاملTowards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story
This paper describes a long-term research program on developing ontological foundations for conceptual modeling. This program, organized around the theoretical background of the foundational ontology UFO (Unified Foundational Ontology), aims at developing theories, methodologies and engineering tools with the goal of advancing conceptual modeling as a theoretically sound discipline but also one...
متن کامل